Linear logic - PDFSEARCH.IO - Document Search Engine

Linear logic
Results: 927

#	Item
61	A Note on the Malleability of the El Gamal Cryptosystem Douglas Wikstr¨om Swedish Institute of Computer Science (SICS) Add to Reading List Source URL: www.nada.kth.se Language: English - Date: 2012-05-30 08:38:02 Mathematical analysis Mathematics Functional analysis IP Distribution Computability theory Linear temporal logic operator
62	JOURNAL OF LATEX CLASS FILES 1 Social Grouping for Multi-target Tracking and Head Pose Estimation in Video Add to Reading List Source URL: rlair.cs.ucr.edu Language: English - Date: 2016-01-04 16:44:20 Mathematics Logic Abstraction Distribution Functional analysis Interpretation Craig interpolation Limit Linear temporal logic operator
63	Counting in Trees along Multidirectional Regular Paths∗ Everardo Bárcenas Pierre Genevès Nabil Layaïda Add to Reading List Source URL: db.ucsd.edu Language: English - Date: 2008-12-16 18:44:40 Model theory Formal languages Mathematical logic First-order logic Predicate logic Interpretation Well-formed formula Linear temporal logic Craig interpolation
64	A PARTICLE DISPLACEMENT REPRESENTATION FOR CONSERVATION LAWS IN TWO-DIMENSIONAL CELLULAR AUTOMATA JARKKO KARI 1 Add to Reading List Source URL: www.staff.science.uu.nl Language: English - Date: 2011-12-30 16:36:57 Symbol Limit Quantum field theory Theoretical physics Operator theory Linear temporal logic Calculus of variations
65	A Modal Logic for Abstract Delta Modeling Frank de Boer Michiel Helvensteijn Joost Winter Add to Reading List Source URL: www.mhelvens.net Language: English - Date: 2012-09-02 13:47:59 Modal logic Non-classical logic Philosophical logic Model theory Mathematical logic Kripke semantics Substitution Integration by substitution Normal modal logic Linear temporal logic Dirac delta function
66	Linear unary operators in process algebra Linear unary operators in process algebra Add to Reading List Source URL: www.cs.vu.nl Language: English - Date: 2005-08-09 06:42:47 Operator theory Algebra of Communicating Processes Process calculi Abstract algebra Modal logic Von Neumann algebra Algebra Unary operation
67	Chapter 6 Infinite State Space In this chapter we begin working with stochastic systems on infinite state space. While a completely rigorous treatment of this area requires measure theory (chapter 7 and onward), we can Add to Reading List Source URL: johnstachurski.net Language: English - Date: 2016-06-19 06:01:54 Probability distributions Generalized functions Algebra Distribution Number theory Normal distribution Range Central limit theorem Logarithm Linear temporal logic
68	Wavelets and Linear Algebra Wavelets and Linear Algebra http://wala.vru.ac.ir Vali-e-Asr University of Rafsanjan Add to Reading List Source URL: wala.vru.ac.ir Language: English - Date: 2016-08-20 18:40:22 Operator theory Operator Matrix Quaternion algebra Quaternion Lie groups Linear algebra Linear temporal logic Spectral theory of ordinary differential equations
69	Concept Graphs with Cuts as Diagrammatic First Order Logic Frithjof Dau Darmstadt Technical University, Darmstadt, Germany Add to Reading List Source URL: www.dr-dau.net Language: English - Date: 2007-08-09 21:04:38 Diagrams Logic Charles Sanders Peirce Philosophical logic Graph theory Existential graph Diagrammatic reasoning Conceptual graph Graph First-order logic Logic of graphs Linear temporal logic
70	Focused and Synthetic Nested Sequents Kaustuv Chaudhuri, Sonia Marin, and Lutz Straßburger ´ Inria & LIX/Ecole polytechnique, France {kaustuv.chaudhuri,sonia.marin,lutz.strassburger}@inria.fr Add to Reading List Source URL: www.lix.polytechnique.fr Language: English - Date: 2016-01-11 07:50:10 Proof theory Non-classical logic Model theory Philosophical logic Deductive reasoning Sequent Cut-elimination theorem Soundness Linear logic Propositional calculus First-order logic Rule of inference

UPDATE